Delete extra semicolons.

diff --git a/ChangeLog b/ChangeLog
index b8e0da2cfb6fc6745c3c4806a1a7e847e1749871..4cd496d2e93ebe034bebc1d36680cb9fdbce3347 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2008-01-06  Romain Francoise  <romain@orebokech.com>
+
+       * configure.in: Delete extra semicolons.
+
 2008-01-06  Dan Nicolaescu  <dann@ics.uci.edu>
 
        * configure.in: Remove references to unsupported systems.

diff --git a/configure.in b/configure.in
index 19471e32582e873bbea8be56ce21597e1581ab51..9e219369f07472cb764288cae1f2d0519b60ccd6 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -706,7 +706,6 @@ dnl see the `changequote' comment above.
                                ;;
       *-xenix* )               opsys=xenix ;;
       *-linux-gnu* )           opsys=gnu-linux ;;
-                               ;;
       *-sysv4.2uw* )           opsys=unixware; NON_GNU_CPP=/lib/cpp ;;
       *-sysv5uw* )             opsys=unixware; NON_GNU_CPP=/lib/cpp ;;
       *-sysv5OpenUNIX* )       opsys=unixware; NON_GNU_CPP=/lib/cpp ;;